Public Evidence from Secret Ballots Matthew Bernhard/ Josh Benaloh† J. Alex Halderman/ Ronald L. Rivest Peter Y. A. Ryan◦ Philip B. Stark‡ Vanessa Teague. Poorvi L. Vora§ Dan S. Wallach? † Microsoft Research /

Source URL: mbernhard.com

• Voting
• Politics
• Elections
• Group decision-making
• Electronic voting
• Election technology
• Electoral fraud
• Voter-verified paper audit trail
• Scantegrity
• ThreeBallot
• Election audits
• Postal voting

Parallel Type-checking with Saturating LVars Peter Fogg Sam Tobin-Hochstadt Ryan R. Newton

Source URL: homes.sice.indiana.edu

• Software engineering
• Computer programming
• Programming language theory
• Type theory
• Type systems
• Functional languages
• Programming paradigms
• Procedural programming languages
• Type inference
• HindleyMilner type system
• Monad
• Functional programming

Using Selene to Verify your Vote in JCJ Vincenzo Iovino, Alfredo Rial, Peter B. Rønne, and Peter Y. A. Ryan University of Luxembourg , {alfredo.rial, peter.roenne, peter.ryan}@uni.lu Abstract. We sh

Source URL: fc17.ifca.ai

BrahmsVE: from Human-Machine Systems Modelling to 3D Virtual Environments Bernard Farkin(1), Bruce Damer, Stuart Gold, Dave Rasmussen, Merryn Neilson, Peter Newman, Ryan Norkus, Blair Bertelshems (2), William J. Clancey,

Source URL: www.digitalspace.com

Caveat Coercitor Mark Ryan and Peter Y. A. Ryan University of Birmingham University of Luxembourg

Source URL: www.cs.bham.ac.uk

International Remix: Video Editing for the Web Patrick Schmitz, Peter Shafton, Ryan Shaw, Samantha Tripodi, Brian Williams, Jeannie Yang Yahoo! Research Berkeley 1950 University Avenue, Suite 200 Berkeley, CA

Source URL: aeshin.org

Adaptive Lock-Free Maps: Purely-Functional to Scalable Ryan R. Newton Peter P. Fogg Ali Varamesh

Source URL: www.cs.indiana.edu

Security protocols for Secret Santa Sjouke Mauw, Saˇsa Radomirovi´c, and Peter Ryan University of Luxembourg Facult´e des Sciences, de la Technologie et de la Communication 6, rue Richard Coudenhove-Kalergi L-1359, Lu

Source URL: satoss.uni.lu

TANF in Michigan: Did We Really “Fix” Welfare in 1996? A Cautionary Tale for Speaker Ryan Peter Germanis1 May 25, 2016 Many conservatives view the 1996 welfare reform law (particularly the creation of the

Source URL: mlwiseman.com

Online reputation management in a digital world: Designing the study Frances VC Ryan, Hazel Hall (Supervisor), Alistair Lawson (Co-Supervisor), and Peter Cruickshank (Co-Supervisor) Edinburgh Napier University, Centre fo

Source URL: www.justaphd.com